Design variability verification in Software Product Lines

Coupling Design and Verification in Software Product Lines

Variability Issues in Software Product Lines

Software product lines (or system families) have achieved considerable adoption by the software industry. A software product line captures the commonalities between a set of products while providing for the differences. Differences are managed by d elaying design decisions, thereby introducing variation points. The whole of variation points is typically referred to as the variability of the sof...

Variability in Evolving Software Product Lines

Software reuse is perceived as the key to successful software development because of the potential for shortened time to market, increased quality and reduced costs. In recent years software product lines have emerged as a promising way to achieve large scale software reuse. Challenges against successful reuse when developing in a software product line involves management of the differences bet...

Variability Management in Software Product Lines

Variability Anomalies in Software Product Lines

Software Product Lines (SPLs) allow variants of a software system to be generated based on the configuration selected by the user. In this thesis, we focus on C based software systems with build-time variability using a build system and C preprocessor. Such systems usually consist of a configuration space, a code space, and a build space. The configuration space describes the features that the ...